Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software
نویسندگان
چکیده
This paper presents a formal framework for the development of interactive software that bridges the gap between ergonomic knowledge and software design. It builds upon previous work on formal notations and proposes an integrated development process from requirements to model-based execution. It also embeds ergonomic knowledge in requirements, and proposes a way to formally represent them and to prove their fulfilment over a detailed formal specification of the interactive software.
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملLimitations of Formal Methods and an Approach to Improvement
Software development using formal methods is believed to be a process of successive refinements from abstract specifications into concrete specifications. Refinement rules rnag be used to demonstrate that the concrete specifzcations satisfy the corresponding abstract ones. However, there are serious Iimitations of the refinement rules in both theory and in practical applications. This paper fir...
متن کاملDesign of modern interactive and ergonomic home air purifier
Introduction: The subject of this research is having healthy air and its challenge is air purification to have this type of air. Healthy air is free of any pollutants, including odors, harmful gasses, dust, and viruses, especially corona. This healthy air is provided by a purifier device. One of the problems of metropolises is the lack of healthy air, which is one of the most important human ne...
متن کاملAn Authoring Tool for Informal and Formal Requirements Specifications
We describe foundations and design principles of a tool that supports authoring of informal and formal software requirements specifications simultaneously and from a single source. The tool is an attempt to bridge the gap between completely informal requirements specifications (as found in practice) and formal ones (as needed in formal methods). The user is supported by an interactive syntax-di...
متن کاملApplying Formal Software Requirements Speciication in the Development of Control Applications
Observations regarding the development of embedded control systems show that software for these systems is developed by control engineers. Lack of understanding of the application domain prevents employment of software engineers in the controller development process. This is undesirable both for reasons of eeciency and quality of the resulting system. This observation motivated the research, de...
متن کامل